Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
101	Last change of status: 06 MayList of States  that have a made a political commitment with regard to the Code of Conduct on the Safety and Security of Radioactive Sources,  that have notified IAEA of their in Add to Reading List Source URL: www-ns.iaea.org Language: English - Date: 2015-05-26 08:11:06 X Software Freedesktop.org X Window System
102	Sequence Traces for Object-Oriented Executions Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:55 Computer programming Denotational semantics Object-oriented design Type safety Actor model Method overriding Object Type system Modal logic Software engineering Computing Object-oriented programming
103	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:18 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
104	Behavioural Typing for Safe Ambients∗ Michele Bugliesi Giuseppe Castagna Dipartimento di Informatica Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:32:09 Software engineering Type system Valuation Mathematics Type safety Ambient intelligence Computing Mobile Membranes Process calculi Type theory Ambient calculus
105	0.1 Visual Support of Safety Analysis Aspects in Embedded Systems 0.1 Visual Support of Safety Analysis Aspects in Embedded Systems Raghed Tarawneh () Supervisor: Prof. Achim Ebert Add to Reading List Source URL: www-hagen.cs.uni-kl.de Language: English - Date: 2014-05-22 10:28:22 Software engineering Fault tree analysis Quality Risk analysis Safety engineering Embedded system Component-based software engineering Reliability engineering Systems engineering Systems science
106	A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artiﬁcial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Data types Object-oriented programming Model theory Polymorphism Type system Type safety Structure Function overloading C++ classes Software engineering Type theory Computing
107	Australian Customs Cargo Advice NumberCUSTOMS TYPE 3 DIGITAL CERTIFICATE ROLLOVER This information is intended for Type 3 digital certificate holders using EDI software to access the Integrated Cargo System (ICS). Add to Reading List Source URL: cargosupport.gov.au Language: English - Date: 2010-07-05 19:48:10 Data Car safety Computer data Computer networking Electronic data interchange Public-key cryptography Rollover Public key certificate Email Electronic commerce Computing Transport
108	ASN1C Support for Information Objects and Parameterized Types Objective Systems, Inc., April 2002 Add to Reading List Source URL: www.obj-sys.com Language: English - Date: 2004-07-07 00:00:00 Cross-platform software Type theory Data types Information Object Class Abstract Syntax Notation One Type safety C Pointer Type system Computing Software engineering Computer programming
109	PDF Document Add to Reading List Source URL: www.sal.wisc.edu Language: English - Date: 2009-01-07 12:08:30 Prevention Systems engineering Reliability engineering IEC 61508 Functional Safety ALARP Failure mode and effects analysis System safety Software development process Safety Security Risk
110	PDF Document Add to Reading List Source URL: www.intergraph.com Language: English - Date: 2010-05-11 15:45:31 Intergraph Public services Water technology Automation Geographic information system Infrastructure optimization Automatic meter reading Pipeline and Hazardous Materials Safety Administration Infrastructure Technology National security GIS software

UPDATE